package procilege.test.pal;

import static junit.framework.Assert.assertEquals;
import static org.junit.Assert.assertTrue;

import org.junit.Test;

import procilege.impl.ComputationalEntityMgr;

import com.google.inject.Inject;

public class EntityEquivTest1 extends AbstractPalTest {

	@Inject
	protected ComputationalEntityMgr cem;

	@Test
	public void test1() {

		assertEquals(2L, nm("d01"));
		assertEquals(3L, nm("d02"));
		assertEquals(4L, nm("d03"));
		assertEquals(5L, nm("d04"));
		assertEquals(6L, nm("d05"));

		isa(nn("d01"), nn("d05"));
		isa(nn("d02"), nn("d05"));

		dumpHistory(0, 50);

		// d1 == d5 && d1
		assertTrue(cem.equiv(new long[][] { { nm("d01") } }, new long[][] { {
				nm("d01"), nm("d05") } }));
	}
}
